typealias f =  (a, ) -> b
